Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Book

Testing data types implementations from algebraic specifications

Subjects: Specification-based testing; algebraic specifications; testa- bility hypotheses

  • Source: Formal Methods and Testing ; https://hal.science/hal-00270574 ; R. Hierons, J. Bowen, and M. Harman. Formal Methods and Testing,

تفاصيل العنوان

×
Conference

Spatial Information and Boolean Genetic Regulatory Networks.

Subjects: Gene Regulatory Networks; Spatial Information; DynamicsNew Orleans; United States

  • Source: Bioinformatics and Computational Biology (BICoB) ; https://centralesupelec.hal.science/hal-00812184 ; Bioinformatics and Computational Biology (BICoB), Apr 2008, New

تفاصيل العنوان

×
  • 1-2 of  2 نتائج ل ""Computer science""